Showing 1 - 12 of 12 Results
1.
Model Checking by Edmund M. Clarke Jr., Orna ... ISBN: 9780262032704 List Price: $69.00
2.
History of Modern Computing by Ceruzzi, Paul, Clarke, Edmu... ISBN: 9780262032551 List Price: $55.00
3.
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference... by Clarke, Edmund M., Voronkov... ISBN: 9783642175107 List Price: $107.00
4.
Handbook of Model Checking by Clarke, Edmund M., Henzinge... ISBN: 9783319105741 List Price: $149.00
5.
Model Checking by Clarke, Edmund M., Jr., Gru... ISBN: 9780262038836 List Price: $75.00
6.
Cases on Common Law Pleading, Selected from Decisions of English and American Courts by Whittier, Clarke B., Morgan... ISBN: 9781115670364 List Price: $32.99
7.
Cases on Common Law Pleading, Selected from Decisions of English and American Courts by Whittier, Clarke B., Morgan... ISBN: 9781115670333 List Price: $47.75
8.
Cases on Common Law Pleading, Selected from Decisions of English and American Courts by Whittier, Clarke B., Morgan... ISBN: 9781115670357 List Price: $34.99
9.
Computer-Aided Verification by Clarke, Edmund M., Kurshan,... ISBN: 9783662202661 List Price: $24.99
10.
Cases on Common Law Pleading, Selected From Decisions of English and American Courts by Clarke B. Whittier, Edmund ... ISBN: 9780530128764 List Price: $32.95
11.
Handbook of Model Checking by Clarke, Edmund M., Henzinge... ISBN: 9783030132330 List Price: $149.00
12.
Cases on Common Law Pleading, Selected from Decisions of English and American Courts by Whittier, Clarke B., Morgan... ISBN: 9780530128757 List Price: $23.95